Nuprl Lemma : bool-inhabited 0,22

 
latex


Definitionstrue, t  T
Lemmasbtrue wf

origin